Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 5 of 5 for:
safety critical systems
1 ?
 21,213,375 websites (safe search)

  1. B method : presentation of B Method, B Language, and formal methods.

    This site is designed to present different work and subjects for consideration by Clearsy concerning the B method, a formal method with proof.
    systems4
    r&d2
    RODIN1
    brama1
    atelier b1
    formal method1
    safety critical systems1
    b4free1
    clearsy1
    b method1
    b-method1
    b news1
    composys1
    b language1
    b plugins1
    b projects1
    b tools1

    bmethod.com - 2009-04-11

  2. Home

    HOME REQUIREMENTS MANAGEMENT VERIFICATION RSMT / RAMS REVERSE ENGINEERING VACANCIES COMPANY Real Time Safety Critical Systems/Software Development (RTCA ...
    Maintenance4
    Safety3
    DOORS3
    Embedded2
    Reliability2
    Real Time2
    DoD2
    Airbus2
    Reverse Engineering1
    RAMS1
    FTA1
    FMEA1
    Requirements Management1
    A3801
    FMECA1
    Eurofighter1
    Testability1
    RTMS1
    Fault Tree Analysis1
    A400M1
    DO-178B1
    RTCA1
    Middleway1
    Safety Critical Systems1
    2167A1
    DO 178B1
    A380F1
    ABD01001
    ABD 01001
    design iT GmbH1
    Level A Software1

    www.design-it-gmbh.com - 2009-02-05

  3. Home

    One of the best Virtual Bands around VirtuallyRush Would You Like More Information? contact us at snowdoguk@virtuallyrush.com Copyright VirtuallyRush - All ...
    Maintenance4
    Safety3
    DOORS3
    Embedded2
    Reliability2
    Real Time2
    DoD2
    Airbus2
    Reverse Engineering1
    RAMS1
    FTA1
    FMEA1
    Requirements Management1
    A3801
    FMECA1
    Eurofighter1
    Testability1
    RTMS1
    Fault Tree Analysis1
    A400M1
    DO-178B1
    RTCA1
    Middleway1
    Safety Critical Systems1
    2167A1
    DO 178B1
    A380F1
    ABD01001
    ABD 01001
    design iT GmbH1
    Level A Software1

    www.virtuallyrush.com - 2009-04-03

  4. SafeRTOS - an IEC 61508 derivative of FreeRTOS for safety related systems

    WITTENSTEIN high integrity systems are part of the WITTENSTEIN group specializing in high integrity engineering design, development and production, with an ...
    design7
    engineering4
    validation2
    software engineering2
    reliability2
    verification2
    best practice1
    medical software1
    systems engineering1
    fmea1
    software support1
    mission critical1
    fmeca1
    IEC 615081
    aerospace software1
    defense software1
    safety critical software1
    high integrity software1
    safety critical systems1
    WITTENSTEIN1
    high integrity systems1
    BS EN 615080

    www.safertos.com - 2009-02-12

  5. ITACS Limited

    Itacs Limited is an advanced computer science and information technology company addressing real world problems.
    software7
    development5
    hardware4
    programming4
    information technology3
    computer science2
    avionics2
    operating systems1
    parallel1
    aeronautics1
    fault tolerance1
    active safety1
    safety critical systems1
    redundancy management1
    computer architectures1
    flight risk modelling0

    www.it-acs-ltd.com - 2009-02-09

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.